Extensionality and continuity
نویسنده
چکیده
In this work, we investigate a relationship between extensionality and continuity of fuzzy relations in the frame of BL-algebras. We found conditions when extensionality implies continuity and vice versa. Problem is formulated and solved algebraically.
منابع مشابه
Approximation of extensional fuzzy relations over a residuated lattice
We investigate a relationship between extensionality of fuzzy relations and their Lipschitz continuity on generalized metric spaces. The duality of these notions is shown, and moreover, two particular applications of the extensionality property in the field of approximation are given.
متن کاملExtensional Crisis and Proving Identity
Extensionality axioms are common when reasoning about data collections, such as arrays and functions in program analysis, or sets in mathematics. An extensionality axiom asserts that two collections are equal if they consist of the same elements at the same indices. Using extensionality is often required to show that two collections are equal. A typical example is the set theory theorem (∀x)(∀y...
متن کاملExtensionality of Simply Typed Logic Programs
We set up a framework for the study of extensionality in the context of higher-order logic programming. For simply typed logic programs we propose a novel declarative semantics, consisting of a model class with a semicomputable initial model, and a notion of extensionality. We show that the initial model of a simply typed logic program, in case the program is extensional, collapses into a simpl...
متن کاملFinite Type Structures within Combinatory Algebras
Inside a combinatory algebra, there are 'internal' versions of the nite type structure over !, which form models of various systems of nite type arithmetic. This paper compares internal representations of the intensional and extensional functionals. If these classes coincide, the algebra is called ft-extensional. Some criteria for ft-extensionality are given and a number of well-known ca's are ...
متن کاملGeneral Models and Extensionality
Construction of a general model falsifying the Axiom of Extensionality shows that the general models of Henkin s article "Completeness in the Theory of Types" are not all sound interpretations of the system. A modification of the definition of general model remedies the situation. GENERAL MODELS AND EXTENSIONALITY by Peter B. Andrews §
متن کامل